structured derivations造句
例句与造句
- A structured derivation has a precise mathematical interpretation, and the syntax and the layout are precisely defined.
- "' Structured derivations ( SD ) "'is a logic-based format for presenting mathematical solutions and proofs created by Prof . Ralph-Johan Back and Joakim von Wright at 舃o Akademi University, Turku, Finland.
- It's difficult to find structured derivations in a sentence. 用structured derivations造句挺难的